Language of mathematics - PDFSEARCH.IO - Document Search Engine

Language of mathematics
Results: 1871

#	Item
451	VICTORIA UNIVERSITY FACULTY OF HEALTH, ENGINEERING AND SCIENCE SCHOOL OF COMPUTER SCIENCE AND MATHEMATICS Research Project Description (Plain Language Statement) Add to Reading List Source URL: www.wcmics.org Language: English - Date: 2013-02-01 00:04:17 Multimodal interaction Collaboration Groupware Microblogging Computer-mediated communication Collaborative software Twitter Wiki software Humanâ€“computer interaction World Wide Web Computing
452	Negative strategies in Eleme Oliver Bond SOAS In order to explicate the universal tendencies of negation in language, a handful of cross-linguistic studies have examined the morphosyntactic properties of negative const Add to Reading List Source URL: www.hrelp.org Language: English - Date: 2006-05-05 07:33:27 Linguistics Logic Mathematics Logic programming Negation
453	PDF Document Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2007-06-15 12:36:35 Mathematical logic Institution Structure Embedding Symbol Parity of a permutation Interpretation Specification language Signature Model theory Mathematics Metalogic
454	Published in: Moller, D.P.F. and Richter, 0.(005.), Proc.of the 4th Ebemburger Working Conference on the Analysis of Dynamic Systems in Medicine, Biology, and Ecology, April 5-7, 1990, Ebemburg, Bad Mililster am Stein-Eb Add to Reading List Source URL: www.sysecol.ethz.ch Language: English - Date: 2011-01-08 11:24:51 Mathematical modeling Computing Operations research Simulation DEVS Mathematical model Scientific modelling Deterministic simulation Modeling language Simulation software Software Mathematics
455	A functional quantum programming language Thorsten Altenkirch and Jonathan Grattage School of Computer Science and IT, Nottingham University email: {txa,jjg}@cs.nott.ac.uk Abstract Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2006-05-01 19:42:44 Applied mathematics Models of computation Quantum mechanics Symbol Quantum circuit Quantum computer Quantum operation Quantum programming Quantum gate Theoretical computer science Quantum information science Physics
456	Open Research Online The Open University’s repository of research publications and other research outputs Expressing OWL axioms by English sentences: dubious in theory, feasible in practice Conference Item Add to Reading List Source URL: oro.open.ac.uk Language: English - Date: 2012-12-06 09:52:07 Semantic Web Information science Knowledge representation Technical communication Predicate logic Web Ontology Language Axiom Functor Ontology Mathematics Science Logic
457	Towards a Strategy Language for Describing Proofs Alan Bundy University of Edinburgh AI4FM Kick-off Meeting Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-10-30 13:20:29 Logic IsaPlanner Mathematical proof Proof theory Nqthm Automated theorem proving Mathematics Rippling
458	The WAC Journal, Vol. 20: NovemberMath and Metaphor: Using Poetry to Teach College Mathematics patrick bahls university of north carolina, asheville Add to Reading List Source URL: wac.colostate.edu Language: English - Date: 2011-01-05 10:22:39 Mathematical logic Mathematical anxiety Language of mathematics Pi Infinity Precalculus Mathematical proof Calculus Propositional calculus Mathematics Philosophy of mathematics Mathematics education
459	Teaching and Sexuality: A Personal Account of One Science Teacher’s Struggle with Add to Reading List Source URL: rapidintellect.com Language: English - Date: 2013-10-12 16:57:07 Mathematics education Statistics education Science education Teacher Chemistry education Curriculum English-language learner Marang Centre for Mathematics and Science Education Education Knowledge Philosophy of education
460	Drawing graphs with NEATO Stephen C. North April 26, 2004 Abstract NEATO is a program that makes layouts of undirected graphs following the Add to Reading List Source URL: www.graphviz.org Language: English - Date: 2012-02-16 11:23:45 Theoretical computer science DOT language Graphviz Graph Graph theory Graph drawing Mathematics

UPDATE